n (analysis) (topology) a function from one topological space to another, such that the inverse image of any open set is open